PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| NQPV | 0.4b1 | An assistant tool for the formal verification of nondeterministic quantum programs. | 2023-01-24 08:14:56 |
Yingte Xu
| hour | day | week | total |
|---|---|---|---|
| 56 | 1160 | 7062 | 283689 |